An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres
نویسندگان
چکیده
We present an approach to prove safety (collision freedom) of multi-lane motorway traffic with lane-change manoeuvres. This is ultimately a hybrid verification problem due to the continuous dynamics of the cars. We abstract from the dynamics by introducing a new spatial interval logic based on the view of each car. To guarantee safety, we present two variants of a lane-change controller, one with perfect knowledge of the safety envelopes of neighbouring cars and one which takes only the size of the neighbouring cars into account. Based on these controllers we provide a local safety proof for unboundedly many cars by showing that at any moment the reserved space of each car is disjoint from the reserved space of any other car.
منابع مشابه
Proving Safety of Traffic Manoeuvres on Country Roads
We adapt the Multi-lane Spatial Logic MLSL, introduced in [1] for proving the safety (collision freedom) of traffic manoeuvres on multi-lane motorways, where all cars drive in one direction, to the setting of country roads with two-way traffic. To this end, we need suitably refined sensor functions and length measurement in MLSL. Our main contribution is to show that also here we can separate t...
متن کاملImperfect Knowledge in Autonomous Urban Traffic Manoeuvres
Urban Multi-lane Spatial Logic (UMLSL) was introduced in [13] for proving safety (collision freedom) in autonomous urban traffic manoeuvres with perfect knowledge. We now consider a concept of imperfect knowledge, where cars have less information about other cars. To this end, we introduce the concept of a multi-view and propose crossing controllers using broadcast communication with data const...
متن کاملStatistical Analysis of Two-lane Roundabout Data for Traffic Control Decision-Making in an Urban Area
Researches using existing statistics and data collected from the area of study help officials at decision-making, to improve the region's problems, like the problem of the high rate of accidents in the region, despite the low volume of daily service. The uses of roundabouts in many parts of the world have many advantages over intersections, amongst them are increased safety and capacity and red...
متن کاملEstimation Model of Two-Lane Rural Roads Safety Index According to Characteristics of the Road and Drivers’ Behavior
Vehicle crashes are amongst the major causes of mortality and results in losses of lives and properties. A large number of the vehicle crashes occur on rural roads. Accidents become more noteworthy in two-lane roads due to going and coming traffic. Therefore, prediction of crashes and their causes are considerably important to reduce the number and severity of the accidents. The safety index is...
متن کاملAnalysing the Performance of a Fuzzy Lane Changing Model Using Data Mining
Heavy vehicles have substantial impact on traffic flow particularly during heavy traffic conditions. Large amount of heavy vehicle lane changing manoeuvres may increase the number of traffic accidents and therefore reduce the freeway safety. Improving road capacity and enhancing traffic safety on freeways has been the motivation to establish heavy vehicle lane restriction strategies to reduce t...
متن کامل